Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
421	3 RD I NTERNATIONAL W ORKSHOP ON G RAPH BASED T OOLS Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-09-05 14:08:23 Formal methods Graph rewriting Predicate transformer semantics Compiler construction Model checking KeY Duality Graph Compiler Theoretical computer science Mathematics Graph theory
422	Distributed Set Expression Cardinality Estimation Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:05 Interpretation Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Model theory Formal languages Logic
423	Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2013-01-31 10:36:00 Theoretical computer science Probabilistic complexity theory Formal sciences Computational complexity theory Mathematical logic Computability theory Algorithm Alan Turing Randomized algorithm Mathematics Science Applied mathematics
424	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2014-04-07 11:14:04 Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics Computing Theoretical computer science
425	FDCC: a Combined Approach for Solving Constraints over Finite Domains and Arrays S´ebastien Bardin(1) , Arnaud Gotlieb[removed]CEA LIST (Paris, France) (2) INRIA (Rennes, France) - Certus V&V Center, Simula (Oslo, Norway Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2012-06-04 05:05:22 Program logic ELLA ATS Predicate transformer semantics International Securities Identification Number Computing Programming language theory Formal methods Software engineering Hardware description languages
426	To appear in Proceedings of the 31st West Coast Conference on Formal Linguistics (WCCFL 31), Cascadilla Press. Interpreting Japanese Head-Internal Relative Clauses Michael Yoshitaka Erlewine and Isaac Gould Massachusetts Add to Reading List Source URL: mitcho.com Language: English - Date: 2013-05-03 23:05:19 Semantics Formal languages Logical syntax Grammar Interpretation Proposition Definite description Function Well-formed formula Logic Linguistics Philosophy of language
427	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
428	Extending interpreted systems with some deontic concepts* Alessio Lomuscio Marek Sergot Department of Computing Imperial College of Science, Technology and Medicine London SW7 2BZ, United Kingdom Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:52 Deontic logic Modal operator Epistemic modal logic Norm Kripke semantics Linguistic modality Axiom Interpretation Formal ethics Logic Mathematical logic Modal logic
429	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:58:59 Philosophical logic Metalogic Formal languages Bisimulation Interpretation Modal logic First-order logic Entailment Kripke semantics Logic Mathematical logic Model theory
430	Message-Generated Kripke Semantics Jan van Eijck and Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:42:48 Modal logic Formal languages Philosophical logic Epistemic modal logic Interpretation Common knowledge Kripke semantics Constructible universe Linear temporal logic Logic Mathematical logic Model theory

UPDATE